『型理論I』龍田真

龍田真. 型理論I. コンピュータソフトウェア. 1991, vol. 8, no. 1, p. 1_25-1_33. https://www.jstage.jst.go.jp/article/jssst/8/1/8_1_25/_article/-char/ja/

1. どんなもの？

2. 先行研究と比べてどこがすごい？

3. 技術や手法のキモはどこ？

4. どうやって有効だと検証した？

5. 議論はある？

6. 次に読むべき論文は？